|
|
Modelem řízený návrh konferenčního systému
Caha, Matěj ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato diplomová práce se zabývá problematikou modelem řízeného návrhu a aplikace simulací v návrhu systémů. V rámci uvedení do problematiky práce diskutuje historii procesu vývoje SW a nastiňuje jeho aktuální stav. Cílem práce je demonstrovat modelem řízený návrh na případové studii konferenčního systému. Konkrétně zde budou představeny formalismy DEVS a OOPN společně s experimentálními nástroji PNtalk a SmallDEVS, které umožňují práci s těmito formalismy. Výsledný model konferenčního systému bude nasazen jako součást webové aplikace implementované pomocí frameworku Seaside v prostředí Squeak.
|
|
|
Řízení procesů s dynamickou optimalizací rozvrhu zdrojů
Šinkora, Jan ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá mezioborovou problematikou na pomezí informačních technologií a~optimalizace procesů. Jsou zde využity a rozšířeny dříve navržené postupy pro modelování projektů a~zdrojů pomocí objektově orientovaných Petriho sítí. Dále se rozebírají možnosti použití genetických algoritmů pro optimalizaci rozvrhů zdrojů, které určují jejich přiřazení k~jednotlivým aktivitám v~dynamických systémech. Je popsána třída rozvrhovacích problémů s omezenými zdroji a způsob, jakým lze tyto projekty implementovat. Také je ukázáno, jak lze vytvořit složitější model výroby inspirovaný reálnými výrobními procesy. Dále je navržen řídící agent, který sleduje běžící výrobní systém a~umožňuje jeho dynamickou optimalizaci. Celý systém je implementován v prostředí Squeak Smalltalk za využití nástroje PNtalk, který je experimentální implementací objektově orientovaných sítí.
|
|
|
Interpret Petriho sítí pro řídicí systémy s procesorem Atmel
Minář, Michal ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá interpretací vnořených petriho sítí popsaných jazykem PNML na procesorech Atmel. Zahrnuje popis cílové architektury, jež je značně omezená, jak co se týčeoperační a úložní kapacity, tak i výkonu. A tedy značně ovlinila návrh a implentaci samotného interpretu. Ten je hlavní náplní této práce a bude tedy detailně popsán z obou zmíněných pohledů. Protože při všech krocích byl kladen důraz na možnost verifikace a simulace samotného interpretu, byl pro implementaci použit jazyk smalltalk na platformě squeak. Ten nám umožnil testovat interpret na PC a následně jej přeložit pro cílovou architekturu v nezměněné podobě. Motivace k tomuto řešení a podrobný popis převodu jsou rovněž předmětem této práce.
|
|
|
Model robota Trilobot
Štěpán, Miroslav ; Janoušek, Vladimír (oponent) ; Hrubý, Martin (vedoucí práce)
Tato diplomová práce popisuje tvorbu modelu pohybu mobilního robota Trilobot, který je následně implementován do jednoduchého simulačního nástroje. Jsou zde popsány experimenty provedené s tímto robotem, stručně je popsán nástroj SmallDEVS s jehož využitím je model v prostředí Squeak Smalltalku implementován. Motivací této práce je zjednodušení návrhu a testování navigačních algoritmů pro robota Trilobot, který je studentům FIT VUT v Brně k dispozici v robotické laboratoři ÚITS. Tvorbou jednoduchého simulačního nástroje by se tedy dala i částečně snížit závislost na fyzické dostupnosti tohoto robota.
|
|
|
Algoritmy pro umělou inteligenci
Petrželka, Jan ; Hrubý, Martin (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato diplomová práce se zabývá algoritmy používanými v oblasti umělé inteligence, konkrétně se jedná o algoritmy popsané v knize Artificial Inteligence: A Modern Approach autorů Russela a Norviga a jejich implementaci v jazyce Squeak Smalltalk. Je kladen důraz na objektově orientovaný přístup, který vyplývá z podstaty jazyka Smalltalk. Zdrojem jsou kromě popisů algoritmů v pseudokódu přímo v knize také existující implementace v jazycích Lisp, Python a Java. Tato práce se věnuje algoritmům pro práci s inteligentními agenty a prostředími pro simulaci těchto agentů, prohledávání stavového prostoru, hraní her, plánování, logice, pravděpodobnosti a učení.
|
|
|
Webový prohlížeč pro Squeak Smalltalk
Šlemr, Martin ; Hrubý, Martin (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá popisem webového prohlížeče Scamper v prostředí Squeak Smalltalk, jeho dosavadního vývoje, nového návrhu a implementace, která respektuje CSS box model a vizuální formátovací model včetně tabulek. Také objasňuje pojmy související s prohlížeči obecně a technologií kolem Internetu jako protokol HTTP a struktura pro popis dokumentů MIME. Další částí je popis systému Squeak Smalltalk a jeho grafického prostředí Morphic.
|
|
|
Simulační server pro DEVS
Šimara, Michal ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Cílem této diplomové práce bylo navrhnout a implementovat simulační server pro DEVS využívající již existujícího systému SmallDEVS. V práci se budeme hlavně zabývat popisem DEVS formalismu, systému SmallDEVS a implementovaného simulačního serveru. Ten poskytuje funkce pro vzdálené vytváření nových DEVS modelů, editování existujících modelů a funkce pro řízení simulace. Navíc server zaznamenává informace o změnách stavu modelu v průběhu simulace, takže je možné zjistit stav modelu v libovolném simulačním čase. To umožňuje následně provádět analýzu těchto dat a získat tak více informací o průběhu simulace, což doposud nebylo možné. V práci je uveden detailní popis komunikačního protokolu popisující komunikaci mezi klientem a serverem. Tento protokol je možné snadno aktualizovat v případě, že do systému SmallDEVS přidáme nějakou novou funkci. K otestování implementovaného simulačního serveru byl vytvořen prototyp klienta, který implementuje tento komunikační protokol a umožňuje uživateli pracovat se systémem SmallDEVS na serveru.
|
|
|
Model robota Trilobot
Štěpán, Miroslav ; Janoušek, Vladimír (oponent) ; Hrubý, Martin (vedoucí práce)
Tato diplomová práce popisuje tvorbu modelu pohybu mobilního robota Trilobot, který je následně implementován do jednoduchého simulačního nástroje. Jsou zde popsány experimenty provedené s tímto robotem, stručně je popsán nástroj SmallDEVS s jehož využitím je model v prostředí Squeak Smalltalku implementován. Motivací této práce je zjednodušení návrhu a testování navigačních algoritmů pro robota Trilobot, který je studentům FIT VUT v Brně k dispozici v robotické laboratoři ÚITS. Tvorbou jednoduchého simulačního nástroje by se tedy dala i částečně snížit závislost na fyzické dostupnosti tohoto robota.
|
|
|
Algoritmy pro umělou inteligenci
Petrželka, Jan ; Hrubý, Martin (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato diplomová práce se zabývá algoritmy používanými v oblasti umělé inteligence, konkrétně se jedná o algoritmy popsané v knize Artificial Inteligence: A Modern Approach autorů Russela a Norviga a jejich implementaci v jazyce Squeak Smalltalk. Je kladen důraz na objektově orientovaný přístup, který vyplývá z podstaty jazyka Smalltalk. Zdrojem jsou kromě popisů algoritmů v pseudokódu přímo v knize také existující implementace v jazycích Lisp, Python a Java. Tato práce se věnuje algoritmům pro práci s inteligentními agenty a prostředími pro simulaci těchto agentů, prohledávání stavového prostoru, hraní her, plánování, logice, pravděpodobnosti a učení.
|
|
|
Řízení procesů s dynamickou optimalizací rozvrhu zdrojů
Šinkora, Jan ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá mezioborovou problematikou na pomezí informačních technologií a~optimalizace procesů. Jsou zde využity a rozšířeny dříve navržené postupy pro modelování projektů a~zdrojů pomocí objektově orientovaných Petriho sítí. Dále se rozebírají možnosti použití genetických algoritmů pro optimalizaci rozvrhů zdrojů, které určují jejich přiřazení k~jednotlivým aktivitám v~dynamických systémech. Je popsána třída rozvrhovacích problémů s omezenými zdroji a způsob, jakým lze tyto projekty implementovat. Také je ukázáno, jak lze vytvořit složitější model výroby inspirovaný reálnými výrobními procesy. Dále je navržen řídící agent, který sleduje běžící výrobní systém a~umožňuje jeho dynamickou optimalizaci. Celý systém je implementován v prostředí Squeak Smalltalk za využití nástroje PNtalk, který je experimentální implementací objektově orientovaných sítí.
|
host ::
RSS.